home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / newmorley.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  2.6 KB  |  84 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.222982, -0.165527, "1");
  3. v2 = .free(0.009576, 0.135431, "2");
  4. v3 = .free(0.206566, -0.184679, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. third = .len.f(0.333333333);
  9. a = .a.vvv(v1, v2, v3);
  10. a3 = .len.times(a,third);
  11. vv1 = .v.avv(a3, v1, v2, .invisible);
  12. ww1 = .v.avv(a3, vv1, v2, .invisible);
  13. l4 = .l.vv(v2, ww1, .invisible, .longline);
  14. l5 = .l.vv(v2, vv1, .invisible, .longline);
  15. b = .a.vvv(v2, v3, v1);
  16. b3 = .len.times(b,third);
  17. vv2 = .v.avv(b3, v2, v3, .invisible);
  18. ww2 = .v.avv(b3, vv2, v3, .invisible);
  19. l6 = .l.vv(v3, ww2, .invisible, .longline);
  20. l7 = .l.vv(v3, vv2, .invisible, .longline);
  21. c = .a.vvv(v3, v1, v2);
  22. c3 = .len.times(c,third);
  23. vv3 = .v.avv(c3, v3, v1, .invisible);
  24. ww3 = .v.avv(c3, vv3, v1, .invisible);
  25. l8 = .l.vv(v1, ww3, .invisible, .longline);
  26. l9 = .l.vv(v1, vv3, .invisible, .longline);
  27. v4 = .v.ll(l8, l5);
  28. v5 = .v.ll(l6, l9);
  29. v6 = .v.ll(l7, l4);
  30. l10 = .l.vv(v1, v5, .red);
  31. l11 = .l.vv(v1, v4, .red);
  32. l12 = .l.vv(v4, v2, .red);
  33. l13 = .l.vv(v2, v6, .red);
  34. l14 = .l.vv(v6, v3, .red);
  35. l15 = .l.vv(v3, v5, .red);
  36. l16 = .l.vv(v5, v6, .yellow);
  37. l17 = .l.vv(v6, v4, .yellow);
  38. l18 = .l.vv(v4, v5);
  39. aa = .a.vvv(v3, v2, v1);
  40. aa3 = .len.times(aa,third);
  41. vvv1 = .v.avv(aa3, v3, v2, .invisible);
  42. www1 = .v.avv(aa3, vvv1, v2, .invisible);
  43. bb = .a.vvv(v1, v3, v2);
  44. bb3 = .len.times(bb,third);
  45. vvv2 = .v.avv(bb3, v1, v3, .invisible);
  46. www2 = .v.avv(bb3, vvv2, v3, .invisible);
  47. cc = .a.vvv(v2, v1, v3);
  48. cc3 = .len.times(cc,third);
  49. vvv3 = .v.avv(cc3, v2, v1, .invisible);
  50. www3 = .v.avv(cc3, vvv3, v1, .invisible);
  51. l19 = .l.vv(v3, vvv2, .invisible, .longline);
  52. l20 = .l.vv(v3, www2, .invisible, .longline);
  53. l21 = .l.vv(v1, www3, .invisible, .longline);
  54. l22 = .l.vv(v1, vvv3, .invisible, .longline);
  55. l23 = .l.vv(v2, www1, .invisible, .longline);
  56. l24 = .l.vv(v2, vvv1, .invisible, .longline);
  57. v7 = .v.ll(l19, l21);
  58. v8 = .v.ll(l20, l24);
  59. v9 = .v.ll(l23, l22);
  60. l25 = .l.vv(v8, v9, .yellow);
  61. l26 = .l.vv(v9, v7, .yellow);
  62. l27 = .l.vv(v7, v8, .yellow);
  63. v10 = .v.ll(l4, l20);
  64. v11 = .v.ll(l19, l9);
  65. l28 = .l.vv(v4, v10, .yellow);
  66. l29 = .l.vv(v10, vv3, .green);
  67. l30 = .l.vv(vv3, v4, .green);
  68. l31 = .l.vv(v10, v4, .green);
  69. v12 = .v.ll(l5, l22);
  70. v13 = .v.ll(l6, l21);
  71. l32 = .l.vv(v6, vv1, .green);
  72. l33 = .l.vv(vv1, v13, .green);
  73. l34 = .l.vv(v13, v6, .green);
  74. v14 = .v.ll(l8, l23);
  75. v15 = .v.ll(l7, l24);
  76. l35 = .l.vv(v5, v14, .green);
  77. l38 = .l.vv(v5, v15, .green);
  78. l39 = .l.vv(v15, v14, .green);
  79. .text("Morley's Theorem:");
  80. .text("");
  81. .text("(See morley.t).  This figure illustrates that in Morley's");
  82. .text("theorem, the internal or external angle trisectors can be used.");
  83. .text("The yellow triangle and all 4 green triangles are equilateral.");
  84.